F. Wolter, M. Zakharyashchev; 1997; "On the Relation between Intuitonistic and Classical Modal Logics"